Merge pull request #1546 from antonio-nino-diaz-arm/an/log-misra
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Thu, 30 Aug 2018 15:55:05 +0000 (16:55 +0100)
committerGitHub <noreply@github.com>
Thu, 30 Aug 2018 15:55:05 +0000 (16:55 +0100)
Fix some MISRA defect in log helpers


Trivial merge